例文
- A large part of the problem solving activity, then, consists of problem definition and problem shaping.
- Subsequent work to resolve these problems shaped the direction of mathematical logic, as did the effort to resolve Hilbert's " Entscheidungsproblem ", posed in 1928.